Logic programming

Results: 2694



#Item
11Theory and Practice of Logic Programming, Vol. 6, No. 5, pp, Programming Finite-Domain Constraint Propagators in Action Rules

Theory and Practice of Logic Programming, Vol. 6, No. 5, pp, Programming Finite-Domain Constraint Propagators in Action Rules

Add to Reading List

Source URL: www.sci.brooklyn.cuny.edu

- Date: 2008-07-17 20:04:06
    12Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic

    Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic

    Add to Reading List

    Source URL: cliplab.org

    - Date: 2015-01-06 02:54:25
      13Under consideration for publication in Theory and Practice of Logic Programming 1 Lightweight compilation of (C)LP to JavaScript ∗ Jose F. Morales1 , Rémy Haemmerlé2 ,

      Under consideration for publication in Theory and Practice of Logic Programming 1 Lightweight compilation of (C)LP to JavaScript ∗ Jose F. Morales1 , Rémy Haemmerlé2 ,

      Add to Reading List

      Source URL: cliplab.org

      - Date: 2012-06-27 16:30:59
        14Programming and Proving with Distributed Protocols Disel: Distributed Separation Logic {P }

        Programming and Proving with Distributed Protocols Disel: Distributed Separation Logic {P }

        Add to Reading List

        Source URL: ilyasergey.net

        - Date: 2018-03-26 18:04:22
          15Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗

          Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗

          Add to Reading List

          Source URL: cliplab.org

          - Date: 2012-08-07 09:26:50
            16Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog

            Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog

            Add to Reading List

            Source URL: www.sci.brooklyn.cuny.edu

            - Date: 2011-02-23 16:01:36
              17Theory and Practice of Logic Programming 1 Efficient Tabling of Structured Data with Enhanced Hash-Consing

              Theory and Practice of Logic Programming 1 Efficient Tabling of Structured Data with Enhanced Hash-Consing

              Add to Reading List

              Source URL: www.sci.brooklyn.cuny.edu

              - Date: 2012-05-21 09:47:37
                18Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference

                Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference

                Add to Reading List

                Source URL: www.home.hs-karlsruhe.de

                - Date: 2014-02-23 03:34:16
                  19banner above paper title Implementing HOL in an Higher Order Logic Programming Language Cvetan Dunchev

                  banner above paper title Implementing HOL in an Higher Order Logic Programming Language Cvetan Dunchev

                  Add to Reading List

                  Source URL: www.cs.unibo.it

                  - Date: 2016-07-28 05:45:11
                    20To appear in Theory and Practice of Logic Programming 1 Linear Tabling Strategies and Optimizations Neng-Fa Zhou

                    To appear in Theory and Practice of Logic Programming 1 Linear Tabling Strategies and Optimizations Neng-Fa Zhou

                    Add to Reading List

                    Source URL: www.sci.brooklyn.cuny.edu

                    - Date: 2007-06-05 17:57:14